Abstract data type - PDFSEARCH.IO - Document Search Engine

Abstract data type
Results: 296

#	Item
31	Deriving a Relationship from a Single Example Neil Mitchell Abstract Given an appropriate domain specific language (DSL), it is possible Add to Reading List Source URL: ndmitchell.com Language: English - Date: 2016-04-19 09:56:22 Software engineering Computer programming Declarative programming Functional programming Data types Type theory Programming language comparisons Functional languages Monad Generic programming Type class Algebraic data type
32	Value Sensitivity and Observable Abstract Values for Information Flow Control Luciano Bello1 , Daniel Hedin1,2 , and Andrei Sabelfeld1 1 Chalmers University of Technology Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2015-09-18 08:04:23 Data types Type theory Typeof Variable High Speed 2 Information flow Dynamical system Monad Type system Operator
33	Tracing ambiguity in GADT type inference Jacques Garrigue∗ Didier R´emy† Abstract Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2012-09-06 08:22:15 Type theory Data types Functional languages Type systems Object-oriented programming languages OCaml Type inference Generalized algebraic data type Unification ML HindleyMilner type system Type conversion
34	A Static Analyzer for Large Safety-Critical Software (Extended Abstract) Bruno Blanchet ∗ § Laurent Mauborgne § Patrick Cousot § Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2007-10-18 09:44:48 Computing Software engineering Computer programming Abstract interpretation Data types Functional languages Denotational semantics Function Array data type Scala Widening Data-flow analysis
35	Code reuse through polymorphic variants∗ Jacques Garrigue November 8, 2000 Abstract Their support for code reuse has made object-oriented languages popular. However, Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2005-02-23 20:45:34 Software engineering Computer programming Declarative programming Functional programming Data types Type theory Eval Standard ML Anonymous function HindleyMilner type system OCaml Polymorphism
36	CT for Binary Codes draft-zhang-trans-ct-binary-codes-03 Dacheng Zhang Daniel Kahn Gillmor Changes since IETF91(1) Add to Reading List Source URL: www.ietf.org Language: English - Date: 2015-07-23 03:56:30 Procedural programming languages Cross-platform software Data types C Enumerated type Type theory Struct Abstract Syntax Notation One D Binary star ALGOL 68 Binary code
37	Mostly Sound Type System Improves a Foundational Program Verifier Josiah Dodds and Andrew W. Appel Princeton University Abstract. We integrate a verified typechecker with a verified program Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2013-09-23 14:54:00 Software engineering Computing Logic Data types Functional programming Lambda calculus Type theory Logic in computer science Eval Hoare logic Anonymous function Separation logic
38	Replicated Data Types: Specification, Verification, Optimality Sebastian Burckhardt Alexey Gotsman Hongseok Yang Add to Reading List Source URL: software.imdea.org Language: English - Date: 2013-11-14 12:44:57 Computing Data types Software engineering Computer programming Abstract data types Fault-tolerant computer systems Type theory Consistency model Transaction processing Replication String List
39	Semantics for a fragment of LOTOS with functional data and abstract datatypes Alan Jeffrey, University of Sussex Input document of ISO/IEC JTC1/SC21/WG7 ‘Enhancements to LOTOS’ Li`ege meeting, December 19 Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:35:48 Logic in computer science Programming language semantics Type theory Logic programming Automated theorem proving Operational semantics Substitution Syntax Type system Semantics C++ classes Monad
40	Abstract Value Constructors Symbolic Constants for Standard ML William E. Aitken∗ John H. Reppy† TR Add to Reading List Source URL: people.cs.uchicago.edu Language: English - Date: 2015-10-19 12:35:07 Data types Type theory C++ Method Functional languages Standard ML C++ classes Algebraic data type Enumerated type Const Template Nullary constructor